tools-xenmon-install.diff
authorBastian Blank <waldi@debian.org>
Sat, 5 Jul 2014 09:47:31 +0000 (11:47 +0200)
committerIan Jackson <ian.jackson@citrix.com>
Fri, 24 Aug 2018 17:45:17 +0000 (18:45 +0100)
commit61429db45783574d34860b6c3f037bf7debed1cf
tree7295d1e49716d3d7bca6b3f4b291c5517b19ea8e
parent201d89bb504e6dea047e8b34c6532463ae4eb838
tools-xenmon-install.diff

Patch-Name: tools-xenmon-install.diff

Gbp-Pq: Topic misc
Gbp-Pq: Name tools-xenmon-install.diff
tools/xenmon/Makefile